- 2 402 202 книги
- Поиск
Theory of Computation (Texts in Computer Science)
Автор: Dexter C. KozenКатегория: Компьютеры
Размер книги: 3.56 Mb
Automata and Computability
Автор: Kozen D.C.Категория: Cs_Computer science, CsAl_Algorithms
Размер книги: 2.29 Mb
Dynamic Logic (Foundations of Computing)
Автор: David Harel, Автор: Dexter Kozen, Автор: Jerzy Tiuryn
Размер книги: 2.24 Mb
Kozen, Landau. Polynomial decomposition algorithm (JSC 1989)(T)(12s).djvu
Автор:
Размер книги: 132 Kb
Harel D., Kozen D., Tiuryn J. Dynamic logic (MIT, 2000)(ISBN 0262082896)(476s)_MAml_.pdf
Автор:
Размер книги: 2.23 Mb
The design and analysis of algorithms
Автор: Dexter C. KozenКатегория: Computer science, Algorithms
Размер книги: 1.64 Mb
Functional decomposition of polynomials
Автор: von zur Gathen, Автор: Kozen, Автор: Landau.
Размер книги: 79 Kb
Decomposition of algebraic functions
Автор: Kozen, Автор: Landau, Автор: Zippel.
Размер книги: 87 Kb
Mathematics of Program Construction, 7 conf., MPC 2004
Автор: Dexter Kozen, Автор: Carron ShanklandКатегория: CsLn_
Размер книги: 6.51 Mb
